Formal Logic with Conceptual Graphs
نویسنده
چکیده
1 Formal Logic with Conceptual Graphs 3 Frithjof Dau 1.
منابع مشابه
Conceptual Graphs and Formal Concept Analysis
It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a uniied mathematical theory ...
متن کاملConcept Graphs as Semantic Structures for Contextual Judgment Logic
This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts developed in Formal Concept Analysis. The chosen approach was strongly stimulated by J. F. Sowa’s theory of conceptual graphs. The mathematized conceptual graphs, called concept graphs, are mathematical semantic structures based on for...
متن کاملSimple Concept Graphs: A Logic Approach
Conceptual Graphs and Formal Concept Analysis are combined by developing a logical theory for concept graphs of relational contexts. Therefore, concept graphs are introduced as syntactical constructs , and their semantics is deened based on relational contexts. For this contextual logic, a sound and complete system of inference rules is presented and a standard graph is introduced that entails ...
متن کاملSemantics of Conceptual Graphs
Conceptual graphs are both a language for representing knowledge and patterns for constructing models. They form models in the AI sense of structures that approximate some actual or possible system in the real world. They also form models in the logical sense of structures for which some set of axioms are true. When combined with recent developments in nonstandard logic and semantics, conceptua...
متن کاملFrom Formal Concept Analysis to Contextual Logic
A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathematics as a science which should encompass both its philosophical basis and its social consequences. This can be achieved by a process named ’restructuring’. This approach shall be extended to logic, which is based on the doctri...
متن کامل